Automated Reasoning with Analytic Tableaux and Related Methods: 22nd International Conference, TABLEAUX 2013, Nancy, France, September 16-19, 2013, ... 8123 (Lecture Notes in Computer Science)
by Didier Galmiche, Dominique Larchey-Wendling
ISBN 13: 9783642405365
Format: Paperback (300 pages) Publisher: Springer Published: 21 Aug 2013
Save for later